2 M 1 M 2 M 3 M 4 N 1 N 2 N 3 N 4 C 1 C 2 C 3 C 4 C 5 C 6 C 7 C 8 C
نویسنده
چکیده
It is probably very hard to develop a new model checker that is faster than UPPAAL for verifying (correct) timed automata. In fact, our tool MCTA does not even try to compete with UPPAAL in this (i. e., UPPAAL’s) arena. Instead, MCTA is geared towards analyzing incorrect specifications of timed automata. It returns (shorter) error traces faster.
منابع مشابه
Dealing with software design issues using an Agent-Oriented methodology
"!# $% & !# ' %() !#* + ' ' , .-" # /'0 1 2 ' % 3 * 4! 1" 4 5 *6 7 !8 9 ' # : # % .-" #!# 5 "19 1" # " ; &9< ' #*6 ; 4 = # " > ' " 7 4!? # " ' # ! @ + A0 1" !2( 2 CB+D=E" 4 = # " F 7 4 " ' G 9 ' # . H ' IGJ &"1 F K 4 L M ' '19 N /2 ' ( 19 ' , O . 4* '!L 4 " "!# # J 5 J 'G9 J 4! !# O '* !#1" 4 # " P " LQ # + ' 4 7 4 # " R 9 #S? / ' + A # F #&"1 ' T FB9 F ' U ' 7-" !# 'GV 1 /4 V H (W () H ' 8 4 L...
متن کاملStructure of the l-Ethyl-3-methyl-l-alumina-indane Dimer, [C2H5(0-C6H4CH(CH3)CH2)A1]2
T h e m o l e c u l a r s t r u c t u r e o f t h e l e t h y l 3 m e t h y l l a l u m i n a i n d a n e d i m e r h a s b e e n d e t e r m i n e d f r o m s i n g l e c r y s t a l X r a y d a t a c o l l e c t e d b y c o u n t e r m e t h o d s . T h e c o m p o u n d c r y s t a l l i z e s i n t h e m o n o c l i n i c s p a c e g r o u p C | h P 2 i / c w i t h a = 1 4 . 6 2 1 ( 2 ) , b...
متن کاملWeb Document Summarization by Context
! #"$ %& '# ( %&%) * +, .'0/1 &"$ ' 2 3 $ 4 )" '# $5 6 7 $ 8 #" %& '# 9 #:; 2 $" < ' = * %) * ') $5 > *"$ , ? @ %A " '# '# ( 0 B B ? 3 #" %& $' CB ' DE , 7 ! F ,/ G 4 C = * H * > I JHK !' $HL %M%) . +, * 'G :I"$ '# $5 9 B N F %& /) ?O P 9 ' M Q 4"$ '# '# R *' S 9" '# $5 Q ' 7 6 " ' 1 ' 6 B R ' BF: '7 Q $B2 $%& '# T Q" '# $5 ,/VUW C X ,HX'7 * C %&%) . 2 $ , Y 'I M"$ '# $5 9 * ? *B B :I%4 "> I%& ...
متن کاملVolatile compounds of arazá fruit (Eugenia stipitata McVaught)
The arazá (Eugenia stipitata McVaugh) is native from the Peruvian part of the Amazonian forest. The fruit is a sphere, characterized by its intense aroma and acid flavor and green to yellow peel at maturity. The edible part, a creamy-white pulp, is eaten fresh or is used to prepare juices, marmalades, ice creams and liquors. Volatile compounds were isolated from arazá by continuous liquid-liqui...
متن کاملEstimation of direct costs associated with cataracts in farmed Atlantic salmon (Salmo salar)
A spreadsheet model that has been standardised for use across different livestock species and diseases, was utilised to estimate the direct costs of cataracts in farmed fish, using the Norwegian farmed salmon industry segment as an example. The data input for the model was obtained from previously published information and also from a small survey specifically carried out to obtain the addition...
متن کامل